#ifndef USERPROG_SYSCALL_INIT_H
#define USERPROG_SYSCALL_INIT_H

#include "stdint.h"
#include "thread.h"

#define syscall_nr 32
typedef void* syscall;
syscall syscall_table[syscall_nr];

uint32_t sys_getpid();
void syscall_init();
#endif